- Model-Order-Reduction
- Abbreviation: MOR
Универсальный русско-английский словарь. Академик.ру. 2011.
Model-Order-Reduction
Смотреть что такое "Model-Order-Reduction" в других словарях:
Partial order reduction — In computer science, partial order reduction is a technique for reducing the size of the state space to be searched by a model checking algorithm. It exploits the commutativity of concurrently executed transitions, which result in the same state… … Wikipedia
Reduction — Reduction, reduced, or reduce may refer to:cienceChemistry*Reduction – chemical reaction in which atoms have their oxidation number (oxidation state) changed. **Reduced gas – a gas with a low oxidation number **Ore reduction: see… … Wikipedia
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Order of Saint Augustine — Abbreviation OSA Formation March, 1256 Type Catholic religious ord … Wikipedia
Model aircraft — A die cast Boeing 747 400 model. Model aircraft are flying or non flying models of existing or imaginary aircraft using a variety of materials including plastic, diecast metal, polystyrene, balsa wood, foam and fibreglass. Flying designs range… … Wikipedia
Reduction to practice — In United States patent law, the reduction to practice is a concept meaning the embodiment of the concept of an invention. The date of this embodiment is critical to the determination of priority between inventors in an interference proceeding.… … Wikipedia
PAT (model checker) — PAT Developer(s) National University of Singapore Initial release 2008 (2008) Stable release 3.4(Beta) / August 27, 2011; 2 months ago (2011 08 27 … Wikipedia
SPIN model checker — SPIN is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others, and has evolved for more than 15 years. SPIN is an… … Wikipedia
Nonlinear dimensionality reduction — High dimensional data, meaning data that requires more than two or three dimensions to represent, can be difficult to interpret. One approach to simplification is to assume that the data of interest lies on an embedded non linear manifold within… … Wikipedia
Multifactor dimensionality reduction — (MDR) is a data mining approach for detecting and characterizing combinations of attributes or independent variables that interact to influence a dependent or class variable. MDR was designed specifically to identify interactions among discrete… … Wikipedia
